$\forall$$g$:IAbMonoid, $a$, $b$, $c$:$\mid$$g$$\mid$. ($a$ $\ast$ ($b$ $\ast$ $c$)) = ($b$ $\ast$ ($a$ $\ast$ $c$)) $\in$ $\mid$$g$$\mid$